Frame Theory , Dependen e Logi and Strategies
نویسندگان
چکیده
Abstra t. We present a formalization of the Löbner-Barsalou frame theory (LBFT) in Dependen e Logi with expli it strategies. In its present formalization, [Pet07℄, frames are de ned as a parti ular kind of typed feature stru tures. On this approa h, the semanti value of a lexi al item is redu ed to its ontribution to the truth onditions of senten es in whi h it o urs. This redu tion does neither a ount for dynami phenomena nor for results from neuros ien e whi h show that meaning annot be redu ed to truth onditions. In order to over ome these short omings, we develop a dynami frame theory whi h is based both on Dependen e Logi [Vää07℄ and Dynami Epistemi Logi ([vB11℄). The semanti phenomenon with respe t to whi h this framework is tested are numeri al expressions like `two' or `at least two'. They are interpreted as strategies whi h hange the input information state to whi h they are applied. 1
منابع مشابه
Boolean Functions for Finite-Tree Dependencies
Several logi -based languages, su h as Prolog II and its su essors, SICStus Prolog and Oz, o er a omputation domain in luding rational trees. In nite rational trees allow for inreased expressivity ( y li terms an provide eÆ ient representations of grammars and other useful obje ts) and for faster uni ation (due to the safe omission of the o urshe k). Unfortunately, the use of in nite rational t...
متن کاملEvaluation of Inter-jurisdictional Cooperation Strategies for Atms/atis Deployment
Filippo Logi Fachgebiet Verkehrstechnick und Verkehrsplanung, Munich University of Technology Arcisstrasse 21, 80290 Munich, Germany Tel: (49) 89 289 2569 Fax (49) 89 289 23840 e-mail: [email protected] Stephen G. Ritchie Institute of Transportation Studies, University of California, Irvine Irvine, CA, 92697-3600, USA Tel: (1) 949 824 4214 Fax (1) 949 824 8385 e-mail: [email protected] Michael G. ...
متن کاملEpistemi Logi : A Survey
Epistemi logi is the logi of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine ard? Is it harmful if, at a literature-exam you don't know the ontents of a hapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your neighbor knows that he regularly plays his ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016